Formal Modelling and Comparing of Disaster Plans
نویسندگان
چکیده
Every municipality in The Netherlands has its own disaster plan. A disaster plan contains the blueprint of how to handle incidents in the municipality with the aim of preventing incidents to grow into disasters. Given that each municipality has its own organisations, enterprises, infrastructure, and general layout, the disaster plans also differ. On the other hand, the disaster plans have a lot in common. Some municipalities use a common starting point, others develop their own disaster plan from scratch. In this paper two independently developed disaster plan are compared using formal modelling techniques. The analysis reveals that some interesting differences do not stem from a difference in the makings of the municipality. These differences touch the fundamentals of the communication during incident management, and might well have a critical impact in dealing with pending disasters.
منابع مشابه
Automated verification of disaster plans in incident management
Purpose – The purpose of this paper is to create a formal specification language for disaster plans in order to remove possible inconsistencies between disaster plans, and to enable the automated verification of properties from such plans against logs of actual incidents. Design/methodology/approach – Different types of properties in disaster plans have been identified and formalized using orde...
متن کاملPlan authoring applications for emergency management
In this paper we present a semi-formal tool using the concept of process modelling for emergency management developed within our project InfoStrom. This is meant to be an aid for rescue forces, energy providers and public authorities, whose measures and terminologies generally differentiate. Also, they do not have up-to-date documents and manuals available that could be adapted to new types of ...
متن کاملDescriptive and Geographical Analysis of Flood Disaster Evacuation Modelling
The planning of evacuation operations for a riverine flood disaster is vital for minimizing their negative impacts on human lives. This paper aims to develop a systematic method to model and plan evacuation trip generation and distribution for riverine floods. To achieve this aim, it adapts the transportation or Hitchcock problem, an operations research technique employed in conventional four-s...
متن کاملA Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets
Multiagent systems are characterized by decentralized control and agents that perform autonomous actions. The sequence of such actions are generally described by plans. An important issue in this context is how to verify the correctness of plans when agents have unpredicted actions. In this paper, formal modelling and verification guidelines to verify nondeterministic multiagent system plans ar...
متن کاملLayout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کامل